Constructivism, Intersubjectivity, Provability, and Triviality

Focusing , Intersubjectivity , and “ Therapeutic Intersubjectivity ”

Implementation and Partial Provability

We extend implementation theory by allowing the social choice function to depend on more than just the profile of preferences of the agents and by allowing agents to support their statements with hard evidence. We show that a simple condition on the evidence structure which is necessary for the implementation of a social choice function f when the preferences of the agents are state independent...

Classical provability of uniform versions and intuitionistic provability

Along the line of Hirst-Mummert [9] and Dorais [4], we analyze the relationship between the classical provability of uniform versions Uni(S) of Π2-statements S with respect to higher order reverse mathematics and the intuitionistic provability of S. Our main theorem states that (in particular) for every Π2-statement S of some syntactical form, if its uniform version derives the uniform variant ...

Vygotsky and intersubjectivity

Lev Vygotsky’s statement on the development of the higher psychological functions— from the interpsychological form to the intrapsychological form—is discussed in the article. I describe the changing of Vygotsky’s interest from nonverbal to verbal communication and his emphasis on verbal communication as an only kind of interpsychological function. I then analyze works that show the importance ...

Mirror neurons and intersubjectivity